theorem :: XPRIMES2:505

canceled;