>>868
abが3の倍数ならばabは素因数3をもつ
当然aまたはbが素因数3をもつ