theorem :: NUMBER12:57
( PrimeDivisors 75 = PrimeDivisors 1215 & PrimeDivisors (75 + 1) = PrimeDivisors (1215 + 1) )