theorem :: XPRIMES2:732

canceled;