>>42
P'がファイルサイズを返さなきゃいけない理由がない

>>43
P'が無限ループしないならP'は無限ループ(矛盾)