theorem :: XPRIMES2:1530

canceled;